Issue551a.agda:15,8-16
No instance of type A was found in scope.
when checking that the expression implicit has type A
